pure subgroup

纯子群